Software performance modelling using PEPA nets

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

PEPA Nets: A Structured Performance Modelling Formalism

In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way, the net is used to provide a structure for combining related PEPA systems. The combined modelling language naturally represents such applications as mobile code systems where the PEPA terms are used to model the program code ...

متن کامل

Modelling Role-Playing Games Using PEPA Nets

We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language. The case study provides a modern complex distributed application programming problem which has many inherent communication and synchronisation complexities which are subtle to model accurately. We put forward the position that a high-level performance modelling languag...

متن کامل

Modelling Mobility with PEPA Nets

We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate between locationchanging and state-changing operations in the system, and to quantify their computational expense for use in predictive performance analysis) is applied to the problem of modelling the canonical mobile ...

متن کامل

Performance Modelling of Hierarchical Networks using PEPA

We present a performance evaluation study of hierarchical cellular networks using PEPA. These networks constitute a new application area for this process algebra formalism. We show that this formalism can easly be used to model such systems. We also show that the strong equivalence ag-gregation technique behind PEPA allows a signiicant reduction of the state space of the underlying Markov proce...

متن کامل

The PEPA Performance Modelling Tools

The PEPA language 11] is supported by a suite of modelling tools which assist in the solution and analysis of PEPA models. The design and development of these tools have been innuenced by a variety of factors , including the wishes of other users of the tools to use the language for purposes which were not anticipated by the tool designers. The suite of PEPA tools has adapted and grown to attem...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM SIGSOFT Software Engineering Notes

سال: 2004

ISSN: 0163-5948

DOI: 10.1145/974043.974047